Formal Aspects for Distributed Systems
نویسنده
چکیده
We argue that superposition and the joint action style of specification are well suited for the aspect-oriented formal specification of distributed systems. Superposition steps structure a specification according to behavior instead of implementation level components. Superposition also makes it possible to verify temporal safety properties and refine and compose specifications in a way that preserves these properties.
منابع مشابه
Visual Modelling and Validation of Distributed Systems
Distributed system technologies are fast developing and the complexity of networked systems increases. For this reason the precise design of distributed systems is necessary, comprising all key aspects. The employment of formal methods is restricted to few aspects such as performance and correctness of distributed algorithms, while the investigation of consistency issues, as they arise e.g. whe...
متن کاملA Formal Approach to Network/Distributed Systems Complex Testing
Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems. This work provides a survey of testing activities with regard to these systems based on standards and actual practices for both software-based and distribution (network) aspects. On the basis of this survey, we determine formal testing procedures/proces...
متن کاملEnhancing Safety and Security of Distributed Systems through Formal Patterns
Distributed systems are often safetyand security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, a...
متن کاملTowards a Compositional Approach to the Design and Verification of Distributed Systems
We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and co...
متن کاملSpecification of Distributed Systems with a Combination of Graphical and Formal Languages
Convenience in specification and possibility for formal analysis are, to some extent, exclusive aspects of system specification. This paper describes an approach that emphasizes both aspects, by combining UML with a language for observable behavior of interfaces, OUN. These are complementary in the sense that one is graphical and semi-formal while the other is textual and formal. The approach i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002